int\_loset() $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$mk\_oset($\mathbb{Z}$;$\lambda$$x$,$y$. ($x$ =$_{0}$ $y$);$\lambda$$x$,$y$. $x$ $\leq$z $y$)